Time-reversal homotopical properties of concurrent systems
نویسندگان
چکیده
منابع مشابه
Efficient Checking of Link-Reversal-Based Concurrent Systems
Link reversal is an algorithmic method with various applications. Originally proposed by Gafni and Bertsekas in 1981 for routing in radio networks, it has been later applied also to solve concurrency related problems as mutual exclusion, resource allocation, and leader election. For resource allocation, conflicts can be represented by conflict graphs, and link reversal algorithms work on these ...
متن کاملTime Estimation Model of Concurrent Computing Systems
We consider an asynchronous system with transitions corresponding to the instructions of a computer system. For each instruction, a runtime is given. We propose a mathematical model, allowing us to construct an algorithm for finding the minimum time of the parallel process with a given trace. We consider a problem of constructing a parallel process which transforms the initial state to given an...
متن کاملHomotopical Nilpotence of S3
In [l] Berstein and Ganea define the nilpotence of an ü-space to be the least integer » such that the »-commutator is nullhomotopic. We prove that S3 with the usual multiplication is 4 nilpotent. Let X be an ii-space. The 2-commutator c2: XXX—>X is defined by c2(x, y) =xyx~1y~1 where the multiplication and inverses are given by the ü-space structure of X. The »-commutator cn: X"-+X is defined i...
متن کاملReentrant Statecharts for Concurrent Real-Time Systems
In this paper, we present novel notions of reentrant state machines and reentrant statecharts, which are extensions of traditional state machines and statecharts with the addition of concurrent syntax and semantics. Reentrant state machines can provide efficient concurrency support for statechart-based real-time tasks by interleaving the execution of concurrent tasks. With its well-defined synt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2020
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2020.v22.n2.a2